Review SCM files and security updates#8
Merged
Conversation
- Regenerate Cargo.lock (was corrupted with GitHub scanning output) - Update META.scm: Change from template-repo to ephapax, add ADRs for Coq verification and WASM target, update development practices - Update ECOSYSTEM.scm: Change from template-repo to ephapax, add detailed project positioning and related projects - Fill SECURITY.md template placeholders with Ephapax-specific values, add qualifying vulnerabilities relevant to linear type systems - Add #[allow(dead_code)] to Codegen struct fields reserved for future interpreter use, eliminating compiler warnings - Update STATE.scm with comprehensive roadmap, milestones, and session history documenting resolved issues All tests pass, build is clean with no warnings.
hyperpolymath
pushed a commit
that referenced
this pull request
Feb 7, 2026
Implements full integration of lists and tuples across the entire compiler pipeline, enabling collection types needed for self-hosting compiler. Parser (ephapax-parser): - Add Pest grammar rules for list types [T], list literals [e1, e2], and index operations list[idx] - Add tuple literal (e1, e2, e3) and tuple index tuple.N syntax - Update paren_or_pair to generate TupleLit for 3+ element tuples - Implement parse_list_lit, parse_list_index, parse_tuple_lit, parse_tuple_index functions Type Checker (ephapax-typing): - Add check_list_lit with homogeneous element type validation - Add check_list_index with I32 index type enforcement - Add check_tuple_lit supporting 0/1/2/N-element tuples - Add check_tuple_index with bounds checking for field access - Maintain backward compatibility with Pair for 2-element tuples WASM Codegen (ephapax-wasm): - Add 3 runtime functions: list_new, list_append, list_get - Implement compile_list_lit with element compilation and appending - Implement compile_list_index emitting calls to list_get - Implement compile_tuple_lit and compile_tuple_index - Update function indices for new runtime helpers Runtime (ephapax-runtime): - Add list.rs with complete list implementation (231 lines) - Memory layout: [capacity: u32][length: u32][elem0][elem1]... - Implement dynamic resizing (capacity doubles when full) - Export list_new, list_append, list_get runtime functions Documentation: - Add LISTS-AND-TUPLES.md with complete feature documentation - Document memory layouts, type rules, and usage examples - Mark Task #8 complete: Parser ✅ Type Checker ✅ Codegen ✅ Changes: +772 lines across 6 files Status: Lists and tuples fully integrated and production-ready Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
All tests pass, build is clean with no warnings.